w{-}info($w$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase(kind($e$); $a$.inl $<$loc($e$), $a$$>$ ; $l$,${\it tg}$.inr $<<$$l$, sender($e$)$>$, ${\it tg}$$>$  )